FORMALISM IN LOGIC

OntoDLP: a Logic Formalism for Knowledge Representation

This paper provides an introduction to knowledge representation using OntoDLP, a formalism which combines the full computational power of Disjunctive Logic Programming (DLP) with suitable abstraction mechanisms for the representation of complex objects and default reasoning. The paper does not provide a formal definition of the language, rather it is intended as an informal presentation of its ...

Reflections on Formalism and Reductionism in Logic and Computer Science

A Modal Logic Formalism for Distributed and Parallel Knowledge Bases

Knowledge bases are currently being investigated by database researchers in order to extend the expressiveness of the relational model to include deductive capabilities in the form of rules. The motivation behind this paper is to present a formalism which extends the relational approach to homogeneous distributed databases to the knowledge base paradigm. The basis of our formalism of distribute...

An Indian Logic-based Argument Representation Formalism For Knowledge-sharing1

Knowledge-sharing is the fundamental aspect of learning from ancient days. By exchanging questions and answers in a debate fashion, knowledge is explored. Argumentation can be thought of as a knowledge-sharing mechanism where construction of arguments and counter-arguments towards reaching mutually agreed upon conclusions is modelled after the rational discussion of knowledge-sharing. The proce...

Incorporating Inheritance and Feature Structures into a Logic Grammar Formalism

Hassan Ait-Kaci introduced the #/-term, an informational structure resembling feature-based functional structures but which also includes taxonomic inheritance (Ait-Kaci, 1984). We describe e-terms and how they have been incorporated into the Logic Grammar formalism. The result, which we call Inheritance Grammar, is a proper superset of DCG and includes many features of PATR-II. Its taxo-nomic ...